<html>
<body>
<h1>Variables Window</h1>
<p>
The variables window is the middle sub window of the
simulator. It displays the symbolic values of the 
currently selected state of the trace in the control
panel window. If the selected element is a transition, 
the shown variable values are the one of the control
location vector immediately preceding the
selected transition.

<p><b>Note:</b> variables can be hidden and displayed using the
"Variables..." item in the
<a href="@Menu Bar/View">View menu</a>. The representation
of the clock constraints can also be changed from this
menu, using the "Full DBM" item.

</body>
</html>
